branching-time temporal logic
分支时间时序逻辑
热门查询
- thalamus n. [解剖] 丘脑；花托
- fillip n. 刺激；弹指 vt. 用指弹 vi. 弹指
- incisively adv. 敏锐地；激烈地
- Anatole n. 阿纳托尔(m.)
- Shelbourne [人名] 谢尔本
- immobile adj. 固定的；稳定的；不变的
- warped adj. 弯曲的；反常的 v. 弄歪（warp的过去式和过去分词）
- johann [人名] 约翰
- ornate adj. 华丽的；装饰的；（文体）绚丽的
- peppered adj. 用胡椒调味的；加胡椒的，撒胡椒粉的 v. 在（食物上）撒胡椒粉（pepper的过去式）
- unconfined adj. 自由的；松散的；无拘束的
- reinvented 重复发明，彻底改造，重新使用（reinvent的过去式和过去分词）
- hound n. 猎犬；卑劣的人 vt. 追猎；烦扰；激励
- phantasmagoric adj. 幻影似的；变幻不定的；幻想的；幽灵的
- extraordinaire adj. （法语）特别的；非凡的；异常的
- preempt vt. 先占；先取；以先买权获得
- moule n. <法>贻贝，壳菜，淡菜
- resit n. 补考；重考 vi. 补考；重考 vt. （英）重考；补考
- waters n. 水（water的复数）；海域；近海
- biopsy n. 活组织检查；活组织切片检查；切片检查法
